// No browser-side JavaScript
